Becoming aware

نویسندگان

  • Hans van Ditmarsch
  • Tim French
چکیده

We examine a logic that combines knowledge, awareness, and change of awareness. An agent can become aware of factual propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. We show that the logic is decidable, and we present a complete axiomatization.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Gender Aware Spoken Language Translation Applied to English-Arabic

Spoken Language Translation (SLT) is becoming more widely used and becoming a communication tool that helps in crossing language barriers. One of the challenges of SLT is the translation from a language without gender agreement to a language with gender agreement such as English to Arabic. In this paper, we introduce an approach to tackle such limitation by enabling a Neural Machine Translation...

متن کامل

Research on Context Aware Network Security Model

According to high development of internet and mobile internet technologies, more and more services and applications are researched and are becoming more and more important in people’s life. At the same time, there are still many risks that virus attack from internet. Network security is facing more challenges than before, such as attack method becoming more diversify, attack times are increasin...

متن کامل

“They can do whatever they want”: Meanings of receiving psychiatric care based on a common staff approach

This study deepens our understanding of how patients, when cared for in a psychiatric ward, experience situations that involve being handled according to a common staff approach. Interviews with nine former psychiatric in-patients were analyzed using a phenomenological-hermeneutic method to illuminate the lived experience of receiving care based on a common staff approach. The results revealed ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010